Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
نویسندگان
چکیده
(ABSTRACT) As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal synchronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions to MRICDF so that temporal properties of embedded systems can also be proven. We adapt the extended precedence encoding technique of Prelude and expand upon current schedulability analysis techniques for multi-periodic real-time systems.
منابع مشابه
New Techniques for Sequential Software Synthesis from a Polychronous Data Flow Formalism
Much of the design and development of embedded software has been done manually over the years with rigorous posteriori verification steps to ensure correctness of the manually written code. Formalization of requirements to make verification and simulation test bench generation more rigorous are being practiced increasingly, but currently, there is much left to be desired in ensuring complete fu...
متن کاملPolychronous modeling, analysis, verification and simulation for timed software architectures
High-level modeling languages and standards, such as Simulink, SysML, MARTE and AADL (Architecture Analysis & Design Language), are increasingly adopted in the design of embedded systems so that system-level analysis, verification and validation (V&V) and architecture exploration are carried out as early as possible. This paper presents our main contribution in this aim by considering embedded ...
متن کاملAutomatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three...
متن کاملPolychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and ...
متن کاملGenerating Multi-Threaded code from Polychronous Specifications
SIGNAL, Lustre, Esterel, and a few other synchronous programming language compilers accomplish automated sequential code generation from synchronous specifications. In generating sequential code, the concurrency expressed in the synchronous programs is sequentialized mostly because such embedded software was designed to run on single-core processors. With the widespread advent of multi-core pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014